989d10b8361830f50123d4bc986bc26eb008daea,src/wyc/builder/FlowTypeChecker.java,FlowTypeChecker,expandAsEffectiveArray,#Expr#Context#,3511
In pattern: SUPERPATTERN
Frequency: 13
Non-data size: 3
Instances
1472366343
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,989d10b8361830f50123d4bc986bc26eb008daea,src/wyc/builder/FlowTypeChecker.java,FlowTypeChecker,expandAsEffectiveArray,#Expr#Context#,3511
1461097076
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,9c7e6e16413a7ea143a93eb1f61defc908cb096e,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.FunctionOrMethodCall#GenerationContext#,1715
1461097076
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,9c7e6e16413a7ea143a93eb1f61defc908cb096e,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.UnOp#GenerationContext#,1830
1461097076
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,9c7e6e16413a7ea143a93eb1f61defc908cb096e,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.ArrayInitialiser#GenerationContext#,1909
1461097076
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,9c7e6e16413a7ea143a93eb1f61defc908cb096e,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.IndexOf#GenerationContext#,1865
1461097076
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,9c7e6e16413a7ea143a93eb1f61defc908cb096e,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.FieldAccess#GenerationContext#,1953
1461097076
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,9c7e6e16413a7ea143a93eb1f61defc908cb096e,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.Dereference#GenerationContext#,1857
1461097076
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,9c7e6e16413a7ea143a93eb1f61defc908cb096e,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.IndirectFunctionOrMethodCall#GenerationContext#,1721
1461097076
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,9c7e6e16413a7ea143a93eb1f61defc908cb096e,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.Cast#GenerationContext#,1873
1461097076
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,9c7e6e16413a7ea143a93eb1f61defc908cb096e,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.New#GenerationContext#,1961
1461097076
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,9c7e6e16413a7ea143a93eb1f61defc908cb096e,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.ArrayGenerator#GenerationContext#,1917
1461097076
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,9c7e6e16413a7ea143a93eb1f61defc908cb096e,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.Record#GenerationContext#,1938
1461097076
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,9c7e6e16413a7ea143a93eb1f61defc908cb096e,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.Cast#GenerationContext#,1873